Search Results
Dependent Types with David Christiansen – Functional Futures
David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
Dependent types for practical use
@rae: Connecting linearity and relevance in Dependent Haskell
06 Introduction to Dependent Types
Dependent Types in Haskell: Present and Future
Dependent Types - salvation or plague | Lambda Days 2021
Dependent Type Driven Program Synthesis in Idris | Edwin Brady | Code Mesh V 2020
Dependent Types
Martin Elsman: Size-Dependent Types for Practical Data-Parallel Programming
"Dependent Types in Haskell" by Stephanie Weirich
Using proofs in Idris, part 1
